Hyperconnected geometric morphisms are the left class of a 2-categorical orthogonal factorization system on the 2-category Topos of toposes; the right class is the class of localic geometric morphisms.
Last revised on November 21, 2013 at 23:21:19. See the history of this page for a list of all contributions to it.